#ifndef __EKF_ACPI_I_H__
#define __EKF_ACPI_I_H__

/* ACPI module read the system configuration to guide the after
 * initialization. */

int acpi_init(void);

#endif
